Skip to content

tina2114/skr_learn_list

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits

README.md

README.md

 
 

Repository files navigation

这是什么？

这是一份skr_university的学习清单，因为太菜被抓，努力学习的一份记录

skr_learn_list

前面因为年代久远，就以周为单位，后面再以日为单位

第一周（2020.5.18-2020.5.23）：Prime c++和stl源码剖析（视频+代码）

  • Prime c++：第一章到第六章

    前面和prime c没什么太大的区别，就暂且不进行记录

  • stl源码剖析

    STL是C++标准库的一部分，占据了大部分的比例。STL借助模板把常用的数据结构及其算法都实现了一遍，且做到了数据结构和算法的分离。

    • 视频总结

      六大组件：

      1. 容器：

        序列容器 + 关联式容器

      2. 算法：

        sort，search，copy，erase，for_each，unique

      3. 迭代器：

        广义指针，使得算法能独立于容器

      4. 仿函数：

        泛化算法

      5. 配置器

        为容器提供空间配置和释放，对象构造和析构的服务

      6. 配接器

        将一种容器修饰为功能不同的另一种容器。例如deque，在此基础上禁用一些deque的功能实现队列和栈，这就是一种配接器。

    • 源码抄写

第二周（2020.5.23-2020.5.29）：STL源码抄写和相应漏洞查找和小作业
第三周（2020.5.29-2020.6.05）：compiler(视频加代码）

  • Lexer-词法分析

    主要编写符合cool语法的正则表达式的匹配规则，通过正则匹配对应的字符串，返回token

  • Parser-语法分析

    构建一个AST抽象语法树，但是其只是token的组合，还需要进行处理

第四周（2020.6.05-2020.6.14）：compiler(视频加代码）

  • Semant-语义分析

    对Parser构成的AST抽象语法树进行二次处理，设定Environment(建立各种符号表)来约束各个类，方法的作用域

  • Code generator-代码生成

    1.计算继承图

    2.以深度优先的顺序将标签分配给所有类

    3.确定每个类的属性，临时对象和调度表的布局

    4.为全局数据生成代码：常量，调度表，...

    5.为每个功能生成代码

第五周（2020.6.14-2020.6.21）：compiler(视频加代码）和flex代码骨架分析
第六周（2020.6.21-2020.6.28）：复习周 + SICP视频

  • SICP视频

    一直看到了P4（复合函数）

第七周（2020.6.28-2020.7.05）：复习周 + SICP视频

  • SICP视频

    看到了P6（符号化求导程序）

第八周（2020.7.05-2020.7.12）：实训

​ 写疫情实时监控系统去了......

​

第九周（2020.7.12-2020.7.19）：csapp及其lab

  • csapp：第一章到第三章

  • csapp-lab：lab1到lab3

    lab1：Data lab

    使用<<，>>，^，&此类基本操作数实现取反，三位运算符，比较整数大小，浮点数转换等操作

    lab2：Bomb lab

    一些简单的汇编，还算简单，唯独parse_6需要看出链表结构。还在parse_4中存在一处隐藏关卡

    lab3：Attack lab

    入门pwn

第十周（2020.7.19-2020.7.26）：csapp及其lab

  • csapp-lab：lab4到lab7

    lab4：Arch lab

    与X86-64指令集相似的Y86-64指令集的学习，以及立即数的加入，优化。

    lab5：Cache lab

    自行模拟一个cache，来达到高速缓存的作用。

    lab6：Shell lab

    实现一个简易的linux里的shell

    lab7：Malloc lab

    实现一个简易的glibc的堆块回收

第十一周（2020.7.26-2020.8.02）：csapp

  • csapp：看到最后一章并发编程

  • csapp-lab：proxy lab

    未完成

第十二周（2020.8.02-2020.8.09）：ucore

  • ucore-lab：lab1到lab2

    lab1：

    启动操作系统的bootloader，操作系统如何加载到内存

    lab2：

    first-fit连续物理内存分配，寻找虚拟地址对应的页表项

第十三周（2020.8.09-2020.8.16）：ucore

  • ucore-lab：lab3到lab5

    lab3：虚拟内存管理

    页表机制，换出机制，缺页故障处理

    lab4：内核线程管理

    建立内核线程的关键信息

    lab5：用户进程管理

    （创建，执行，切换，结束）

第十四周（2020.8.16-2020.8.23）：ucore

  • ucore-lab：lab6到lab7

    lab6：进程调度

    进程一共三个状态，等待，就绪，运行，RR调度算法，Stride Scheduling调度算法

    lab7：同步互斥

    内核级信号量的实现，哲学家就餐问题

第十五周（2020.8.23-2020.8.30）：ucore

  • ucore-lab：lab8

    lab8：文件系统

    VFS结构，文件控制块，读文件操作的实现

第十六周（2020.8.30-2020.9.06）：ucore

  • ucore-lab拓展：lab1拓展到lab4拓展

    lab1拓展：

    1. 从用户态切换到内核态的函数

      利用int指令产生软中断，再恢复esp

    2. 内核态到用户态的互相切换

      内核态到用户态需要先获取真正的ebp和esp，再抬栈伪造esp和ss

      用户态到内核态需要先把内核态上除了ss和esp的内容全复制到原先用户态的栈上，这是为了中断返回后能够正常执行原先被打断的程序。将伪造的栈上的段寄存器进行修改，使其指向DPL为0的相应段描述符

    lab2拓展：伙伴系统分配算法

    ​ 设计一个二叉树的树状结构，根节点的内存空间最大，每一层的内存空间都是上一层的一半，用户要求size大小的内存块时，会先判断是否是2的倍数，不是就向上取整，在二叉树里匹配，分配。

    在释放内存块时，会依次进行判断临近节点和父节点是否空闲，是就依次合并。

    lab3拓展：实现识别dirty bit的 extended clock页替换算法

    ​ 与LRU算法类似，不过......如果真要实现的话，应该得对这个ucore进行大魔改，所以就进行了简易的实现

    lab4拓展：无拓展

第十七周（2020.9.06-2020.9.13）：ucore和unix环境 高级编程

  • ucore-lab拓展：lab5拓展到lab6拓展

    lab5拓展：实现COW机制

    ​ 写时复制，只有在进行写操作的时候才分配新的物理页

    lab6拓展：CFS调度算法

    ​ 主要是简化了virutime中的运行周期 * 1024 / 进程权重，转而变成 1024 / 进程权重，因为ucore本身设计是基于时间片的调度，运行周期并未在ucore中定义

  • unix环境高级编程：看到第五章

第十八周（2020.9.13-2020.9.20）：虚拟化题目复现和unix环境 高级编程

  • CONFidence ctf 2020 kvm：

    1. 这题算不上真正的虚拟化，在程序里分配了一块区域来模拟
    2. 漏洞点主要出现在分配出来的栈起始地址和创建虚拟化时的起始地址不一致， 0x7fffffff5cc0为栈起始地址，size大小为0x8000，0x7fffffff6000为虚拟化空间起始地址，size大小也为0x8000
    3. 造成的问题是可以在虚拟化空间里获取物理机的数据，拿到ret地址
    4. 伪造页表项，进入到储存ret地址所在的地方，将ret地址改为one_gadget地址

  • PlaidCTF 2020 sandybox：

    复现到一半，还未完成

  • unix环境 高级编程：看到第六章

第十九周（2020.9.20-2020.9.27）：虚拟化题目复现和QEMU源码解析阅读

  • PlaidCTF 2020 sandybox：

    1. 借用了ptrace函数来模拟实现沙盒
    2. 漏洞点在于设计模式的小问题，因为它预设的信号都是两次，子进程进行系统调用一次，系统调用结束一次。但是如果有只发生一次信号的调用存在呢？
    3. 这里就借用了int 3，系统调用信号只发送一次来进行绕过沙盒检测，来执行我们的shellcode

  • QEMU源码解析阅读：

    QEMU/KVM概述

第二十周（2020.9.27-2020.10.04）：调试器和QEMU源码解析阅读

  • 调试器：

    实现了看寄存器，运行，断点功能

  • QEMU源码解析阅读：第二章

    1. 先去用c实现了一下OOP的三种最基本的特性：封装，继承，多态

    2. glib事件循环机制

      glib实现了完整的事件循环分发机制，一次循环包括prepare，query，check，dispatch过程

    3. QEMU事件循环机制

      glib_pollfds_fill，qemu_poll_ns，glib_pollfds_fill

第二十一周（2020.10.04-2020.10.11）：虚拟化题目复现和QEMU源码解析阅读

  • blizzardctf2017 strng：pmio_write写入位置未检测导致的越界

    1. pmio_read进行越界读，将结构体里面buf后面跟着的srand函数地址读出来
    2. 计算libc基址和system地址
    3. 将指针覆盖成system，再写入"cat /root/flag"作为参数，调用指针

  • HITB GSEC 2017 babyqemu：同样的未检测导致的越界

    和上面的题目差不多，也是结构体里的buf后面跟着一个指针，读取指针，拿到程序基址，再拿到system_plt地址，后面就是把指针覆盖成system_plt地址，写入参数，调用

  • QEMU源码解析阅读：第三章

    未完成

第二十二周（2020.10.11-2020.10.18）：cve-2015-5165复现和QEMU源码解析阅读

  • cve-2015-5165：典型的整数下溢

  • QEMU源码解析阅读：第三章

    1. fw_cfg设备

      fw_cfg完成把QEMU数据传递给虚拟机的工作

    2. SeaBIOS

      SeaBIOS是QEMU/KVM虚拟化方案的默认BIOS

  • DefconQuals 2018 EC3：

    未完成

2020.10.19：DefconQuals 2018 EC3和QEMU源码解析阅读

  • DefconQuals 2018 EC3：mmio_write写入的位置无检测导致的UAF

    1. 无符号表，但是可以依据shift + f12搜寻class_init --> 找到realize函数 --> 找到off_xxxxx的ops结构体 --> 结构体中第一个就是mmio_read，第二个就是mmio_write
    2. write中未对写入位置进行检测，存在UAF
    3. 进行常规的伪造，将chunk创建到存储堆块的数组中，里面写入malloc的got表地址
  1. 对got里面进行改写，改成system('cat ./flag')

  • QEMU源码解析阅读：CPU虚拟化

    1. CPU虚拟化介绍

      • VMX架构，分为虚拟机监视器（VMM）和虚拟机（VM），QEMU/KVM属于VMM，挂载的镜像属于VM
      • VMCS，VCPU的描述符。用来管理VMX non-root Operation转换以及控制VCPU的行为

    2. KVM模块初始化

      初始化CPU与架构无关的数据以及设置与架构相关的虚拟化支持

    3. 虚拟机创建

      要创建虚拟机，需要用户侧的QEMU发起请求，最后将其创建的虚拟机挂载到vm_list为头节点的链表上

2020.10.20：QEMU源码解析阅读

  • QEMU源码解析阅读：CPU虚拟化

    1. QEMU的CPU创建

      QEMU能模拟多种CPU，所以存在一套继承结构

      • CPU对象初始化

        CPU类型初始化(CPUState)，对象实例化(X86CPU)后，具现化(启用realize函数)

      • QEMU和KVM间的共享数据

        可能创建的最大值是三页，每页都有自己的功能，存储两者的共享数据

    2. VCPU运行

      核心代码是do-while循环，cpu运行，遇到事件需要VM Exit就退出到KVM or QEMU，根据信息进行处理，处理完毕cpu再次运行

    3. VCPU调度

      • 在同一物理CPU上运行VCPU

        VMRESUME指令

      • 需要切换到不同的物理CPU

        VMCLEAR，VMPTRLD和VMLAUNCH指令

2020.10.21：skr_learn_list补全和TokyoWesterns CTF 2018 EscapeMe

  • skr_learn_list：把前面的经历全部补齐了

  • TokyoWesterns CTF 2018 EscapeMe：

    ​ 环境配了半天，在16上起不来，看了看题目描述，环境是18。明天在18上试试

2020.10.22：TokyoWesterns CTF 2018 EscapeMe和SECCON2018_online_CTF q-escape + [ ] TokyoWesterns CTF 2018 EscapeMe：

​ 18上也起不来，没办法，换题目

  • SECCON2018_online_CTF q-escape：

    今日消防演习，不知道谁，把烟雾弹扔我寝室门口了，寝室门还没关，重灾区......

    结果就是，未完成。

2020.10.23：SECCON2018_online_CTF q-escape

  • SECCON2018_online_CTF q-escape：典型的边界检测不严，导致溢出能对结构体的下一个数组进行操作

    ​ 这题基本操作不难，不过学到了一个平时不注意的小细节，opaque->vs[0x10]实际上就是latch[0]，opaque->vs[idx].buf是自动将latch[0]里面的内容当作指针来识别。

    ​ 核心思想就是利用越界，将latch[0]里面的数据改为不同的got表地址，修改got里面的数据来达成system("cat flag")

2020.10.24-25：ByteCTF

​ Nu1L有本书是ctfer从0到1，打了ByteCTF，我直接从1到0。裂开。

​

2020.10.26：leetcode和QEMU源码解析阅读

  • leetcode：845 数组中的最长山脉

    左右分割，遍历数组，找到左右size相加最大的值

  • QEMU源码解析：内存虚拟化

    EPT寻址方式：

    • 四级页表（每个9位的offset）+ 页(4kb)内偏移（12位的offset）
    • EPTP里获取基址，然后基址+偏移找到下一个页表的起始地址，以此循环往复

    QEMU内存初始化的基本结构：

    • AddressSpace结构体：表示一个虚拟机或者虚拟CPU能够访问的所有物理地址（这里指的是寻址地址）
    • MemoryRegion结构体：表示虚拟机的一段内存区域

    QEMU虚拟机内存初始化：

    • 低端内存和高端内存

    • 主要初始化由pc_memory_init函数完成：

      分配虚拟机的实际物理内存，创建ram_below_4g region，创建fw_cfg设备等

2020.10.27：QEMU源码解析阅读

  • QEMU源码解析：内存虚拟化

    内存更改通知：

    初始化，更新AddressSpace的内存视图，每个注册的MemoryListener调用commit回调函数

    内存平坦化：

    主要是将原本的内存拓扑的无环图结构转换成在一个FlatRange结构的数组里面。

2020.10.28：QEMU源码解析阅读和leetcode

  • QEMU源码解析：内存虚拟化

    KVM注册内存：

    AddressSpace上的内存布局主要由address_space_update_topology函数来更新，并且把内存拓扑信息同步到KVM。

    内存分派表的构建：

    QEMU的内存分派指的是，当给定一个AddressSpace和一个地址时，能够快速地找到其所在的MemoryRegionSection，从而找到对应的MemoryRegion

    • 具体的寻址过程：ptr中存储一个地址，根据物理地址本身一些位作为Node的索引，找隶属PhysPageEntry，类似于MMU寻址，层层页表寻找，根据最后的PhysPageEntry的ptr找到sections数组，得到MemoryRegionection
    • 具体的创建过程：类似于页表创建，计算当前页目录中一项能够表示多少内存空间step，判断当前页目录项对应的页表是否存在，不存在就分配一个Node，不断循环以上步骤，最后一页页表的index是PhysPageMap中sections数组中的索引。

  • leetcode：1207 独一无二的出现次数

    运用Map和set容器来进行重复出现次数是否一致的判断

2020.10.29：QEMU源码解析阅读

  • QEMU源码解析：内存虚拟化

    虚拟机物理地址的设置：

    1. 遍历内存槽，查看要创建的slot是否与当前的内存条的slot有重合
    2. 获取需要创建的页面个数，分配内存空间（这里存在检测：是否对齐，用户态设置是否允许大页）
    3. 创建slot的内存槽，将其id号，虚拟机的物理内存地址，大小，对应用户态进程中分配的虚拟机地址等信息传入内存槽，并将该内存槽插入slots->memslots，并对齐按gfn从大到小排序

    MMIO机制：

    1. QEMU申明一段内存作为MMIO内存，但这不会导致实际QEMU进程的内存分配
    2. SeaBIOS会分配好所有设备MMIO对应的基址
    3. 当Guest第一次访问MMIO的地址时，会发生EPT violation，产生VM Exit
    4. KVM创建一个EPT页表，并设置页表项特殊标志
    5. 虚拟机之后再访问对应的MMIO地址的时候就会产生EPT misconfig，从而产生VM Exit，退出到KVM，然后KVM负责将该事件分发到QEMU
2020.10.30：leetcode和复习前面知识

  • leetcode：求根到叶子节点数字之和

    这里简单的运用现实里正常数学的算法，每进入下一层，sum*10 + root->val，其余的就是一些边界性特殊性的检测，对于root节点特殊处理判断，防止只有root节点情况等。

  • 复习QEMU源码一书的前几章

2020.10.31：身体原因，去了趟医院

​

2020.11.1：CSAW-CTF-2018-Quals kvm

  • CSAW-CTF-2018-Quals kvm：

    进行到了传入虚拟机执行代码的逆向，刚理清这个运行代码的整体框架。

2020.11.2：CSAW-CTF-2018-Quals kvm

  • CSAW-CTF-2018-Quals kvm：

    创建一个虚拟机，然后将代码传入虚拟机中，传入虚拟机的代码是哈夫曼编码，进行的处理是将数据进行二进制压缩，然后遍历二叉树，遍历的叶子节点去填充buf，然后这个buf跟正确的值去比较。所以我们需要做的就是脚本读取压缩的密码，然后将其放到树上正确的位置，使用哈夫曼解码算法和正确的树来解压缩密码。

2020.11.3：QEMU源码解析阅读

  • QEMU源码解析：中断虚拟化和设备虚拟化

    设备虚拟化：

    1. QEMU以树形结构模拟了虚拟机系统的设备和总线，个人理解类似于单总线模式
    2. 设备创建有两种方式：命令行--device创建，跟随主板初始化创建
    3. 总线命名方式，根据有无指定名字，父设备有无id来依次决定其名字
2020.11.4：QEMU源码解析阅读和学校软工项目

  • 设备虚拟化：

    1. PCI设备主要通过MMIO和PIO与操作系统交互
    2. 设备寄存器和I/O端口提供操作系统向设备的通信，中断机制提供设备向操作系统的通信。

  • 学校软工项目

2020.11.5：QEMU源码解析阅读和leetcode和学校软工项目

  • 设备虚拟化：

    ​ 虚拟机通过两部分（前端设备和后端设备）来完成与外界通信设备的模拟

    ​ 前端负责与虚拟机打交道，管理虚拟机的I/O，后端负责与宿主机打交道，将虚拟机的I/O请求转换为宿主机上的I/O请求

  • 学校软工项目

  • leetcode：插入区间

    新创建一个vector<vector> ret变量，先将所有区间范围小于newInterval的区间存入，再进行循环合并，比较intervals中区间的front()与newInterval.back()，然后进行大小的合并。最后将后续的依次压入。

2020.11.6：QEMU源码解析阅读和leetcode和学校软工项目

  • 设备虚拟化：

    ​ 网卡参数解析：

    1. 命令行中指定了参数，会放到相应的QemuOpsList
    2. 每类参数都有对应的函数来进行解析
    3. 参数最终放到了object对象里面，object对象保存了QEMU命令行信息

  • leetcode：根据数字二进制下1的数目排序

    这里主要的点就是如何提取vector元素中二进制的1，这里我们运用了a &= (a-1)，这样每次a比之前缺失一个1，这样能快速计算出1的个数

  • 学校软工项目

2020.11.7：Codeql学习和学校软工项目

  • Codeql：

    根据知乎上的一个codeql学习笔记学习了一波

  • 学校软工项目

2020.11.8：leetcode和学校软工项目和Codeql

  • Codeql：

    研究数据库该怎么创建，总是报错，最后通过WSL绕弯子创建解决了。

  • leetcode：买卖股票的最佳时机

    找到数组中前一位比后一位小的下标，然后依次循环判断前一位是否比后一位小，选择这之间最小的和最大的进行相减，接着重复上述过程。

  • 学校软工项目

2020.11.9：leetcode和学校软工项目

  • leetcode：最接近原点的K个点

    一共两个点，一是要对距离能够进行排序，二是要获取排序后距离对应的vector。这点可以由multimap来完成，multimap允许重复的key。将距离和对应的vector依次压入multimap，multimap会自动根据key进行从小到大的排序。

  • 学校软工项目

    收工收工，成功验收。

    但是后面....... java web怎么又开始了，or2

2020.11.10：QEMU源码阅读
2020.11.11：QEMU源码阅读
2020.11.12：Codeql学习
  • Codeql学习：完成到lab9
2020.11.13：Codeql学习
  • Codeql学习：github上的教程已学习完毕，但是homework还未分析完毕
2020.11.14：cve-2019-6788复现

  • cve-2019-6788：

    在传入数据不包含"\r""\n"的情况下，储存数据的堆块空间真实大小不会更新，从而导致可以无限往堆中memcpy，达到堆溢出效果。

2020.11.15：cve-2019-6788复现

  • cve-2019-6788：

    poc已完成，但是exp难度有点大，难以分析下去，暂且搁置。

2020.11.16：QEMU源码阅读
2020.11.17：QEMU源码阅读
2020.11.18：QEMU源码阅读
2020.11.19：QEMU源码阅读
2020.11.20：2019数字经济docker逃逸
2020.11.21：2019数字经济qemu逃逸
  • 2019 数字经济共测大赛 qemu逃逸：与上面类似，有command，写入弹计算器的指令即可
2020.11.22 - 2020.11.29：期末大项目，复习，准备面试

About

skr_learn_list

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published